---

axiomatic specification

英 [ˌæksiəˈmætɪk ˌspesɪfɪˈkeɪʃn] 美 [ˌæksiəˈmætɪk ˌspesɪfɪˈkeɪʃn]

【计】公理说明，公理描述

计算机

---

---